A Note on Affine Quotients and Equivariant Double Fibrations

We consider two linear algebraic groups G and G over the field of complex numbers, both of which are reductive. Take a finite dimensional rational representation W of G × G. Let Y = W//G := SpecC[W ] and X = W//G := SpecC[W ] ′ be the affine quotients. Since the action of G and G commutes on W , the quotient space X (respectively Y ) naturally inherits the action of G (respectively G). In this note, we study the interrelation between the orbit structures of X/G and Y/G. In a good situation, we can embed Y/G into X/G, and the embedding map θ preserves important properties such as the closure relation and nilpotency. We give a sufficient condition for the existence of such embedding, and provide many examples arising from the natural representations of classical groups. As an application we consider the geometric problem of unimodular congruence classes of bilinear forms proposed by –Doković-Sekiguchi-Zhao.